Process calculus

Results: 249



#Item
211Martingale / Local martingale / Semimartingale / Quadratic variation / Adapted process / Continuous stochastic process / Girsanov theorem / Infinitesimal generator / Stochastic differential equation / Statistics / Stochastic processes / Probability theory

1. Introduction The following notes aim to provide a very informal introduction to Stochastic Calculus, and especially to the Itˆ o integral and some of its applications. They owe a great deal to Dan Crisan’s Stochas

Add to Reading List

Source URL: www.chiark.greenend.org.uk

Language: English - Date: 2006-03-07 17:35:45
212Martingale theory / Stochastic processes / Operator theory / Game theory / Martingale / Wiener process / Differential equation / Spectral theory / Method of characteristics / Statistics / Mathematical analysis / Calculus

Equivalence of stochastic equations and martingale problems Thomas G. Kurtz ∗ Departments of Mathematics and Statistics University of Wisconsin - Madison 480 Lincoln Drive

Add to Reading List

Source URL: www.math.wisc.edu

Language: English - Date: 2010-07-03 15:20:47
213Software engineering / Process calculi / Railway signalling / Communicating sequential processes / Models of computation / Interlocking / Formal methods / Process calculus / Model checking / Computing / Concurrent computing / Computer science

University of Surrey On Modelling and Verifying Railway Interlockings: Tracking Train Lengths Department of Computing

Add to Reading List

Source URL: www.computing.surrey.ac.uk

Language: English - Date: 2013-05-25 17:08:22
214Boolean algebra / Propositional calculus / Mathematics / Theoretical computer science / Model theory / Π-calculus / Universal quantification / Process calculus / Interpretation / Logic / Mathematical logic / Semantics

Automated Verification of Selected Equivalences for Security Protocols Bruno Blanchet ´ cole Normale Sup´ CNRS, E erieure, Paris

Add to Reading List

Source URL: prosecco.gforge.inria.fr

Language: English - Date: 2012-10-01 07:25:57
215Video game development / Computational neuroscience / Open problems / Calculus / Video game bot / Algorithm / Artificial intelligence / Function / Principles and Standards for School Mathematics / Mathematics / Science / Knowledge

An artificial intelligence experiment in college math education Oliver Knill, Johnny Carlsson, Andrew Chi and Mark Lezama[removed], latest edit: [removed]Abstract To gain more insight into the process of teaching and

Add to Reading List

Source URL: www.math.harvard.edu

Language: English - Date: 2006-02-22 23:16:14
216Process calculus / Process calculi / Samson Abramsky / Proof theory / Calculus / Computation / Computing / Causal sets / Mathematics / Actor model / Computer science / Concurrency

What are the fundamental structures of concurrency? We still don’t know! Samson Abramsky Oxford University Computing Laboratory June 7, 2005 Abstract

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2013-06-06 21:35:35
217Quantum phases / Flux / Vector calculus / Geometric phase / Adiabatic process / Quantum computer / Quantum stirring /  ratchets /  and pumping / Physics / Quantum mechanics / Classical mechanics

Solid State Communications[removed]–588 www.elsevier.com/locate/ssc Classical and quantum pumping in closed systems Doron Cohen* Department of Physics, Ben-Gurion University, 84105 Beer-Sheva, Israel

Add to Reading List

Source URL: physics.bgu.ac.il

Language: English - Date: 2005-02-09 17:00:00
218Process calculus / Process calculi / Samson Abramsky / Proof theory / Calculus / Computation / Computing / Causal sets / Mathematics / Actor model / Computer science / Concurrency

What are the fundamental structures of concurrency? We still don’t know! Samson Abramsky Oxford University Computing Laboratory June 7, 2005 Abstract

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2013-06-06 21:35:49
219Macroeconomics / M2 / Money supply / Kapu / CONFER / Calculus of communicating systems / Proceedings / Economics / Indian society / Process calculi

Robert Meolic, Tatjana Kapus: Notes on specifying systems in EST 1

Add to Reading List

Source URL: lms.uni-mb.si

Language: English - Date: 2006-10-10 04:27:40
UPDATE